6

On Reversible Combinatory Logic

Year:
2006
Language:
english
File:
PDF, 224 KB
english, 2006
7

Preface: Quantitative aspects of programming languages

Year:
2007
Language:
english
File:
PDF, 121 KB
english, 2007
14

Preface

Year:
2006
Language:
english
File:
PDF, 94 KB
english, 2006
15

Semantic Abstraction and Quantum Computation

Year:
2008
Language:
english
File:
PDF, 292 KB
english, 2008
16

Continuous-Time Probabilistic KLAIM

Year:
2005
Language:
english
File:
PDF, 233 KB
english, 2005
17

Preface

Year:
2006
Language:
english
File:
PDF, 83 KB
english, 2006
20

Preface: Volume 59, Issue 3

Year:
2002
Language:
english
File:
PDF, 48 KB
english, 2002
21

Transitivity and ergodicity of quantum systems

Year:
1988
Language:
english
File:
PDF, 711 KB
english, 1988
22

Application of the EUF procedure in sugar beet cultivation

Year:
1982
Language:
english
File:
PDF, 510 KB
english, 1982
26

Measuring the confinement of probabilistic systems

Year:
2005
Language:
english
File:
PDF, 730 KB
english, 2005
29

Probabilistic Constraint Handling Rules

Year:
2002
Language:
english
File:
PDF, 874 KB
english, 2002
31

Tempus fugit: How to plug it

Year:
2007
Language:
english
File:
PDF, 286 KB
english, 2007
39

Reversible combinatory logic

Year:
2006
Language:
english
File:
PDF, 321 KB
english, 2006
40

Program Analysis Probably Counts

Year:
2010
Language:
english
File:
PDF, 196 KB
english, 2010
41

Unfolding for CHR programs

Year:
2015
Language:
english
File:
PDF, 476 KB
english, 2015
42

Quantitative static analysis of distributed systems

Year:
2005
Language:
english
File:
PDF, 361 KB
english, 2005
45

Approximate non-interference

Year:
2004
Language:
english
File:
PDF, 308 KB
english, 2004